航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

基于光学测角数据的风云四号同步轨道卫星精密定轨

针对风云四号同步卫星的精密定轨和精度评估需求，首先利用地面光学测角数据对FY-4A卫星进行精密定轨，定轨后方位角和高度角的残差rms分别为0.25＂和0.45＂。与基于测距数据的轨道相比，位置精度在有测角数据的弧段内小于50m。进一步联合测角数据和测距数据对FY-4A卫星进行联合定轨，定轨后轨道重叠精度优于15m。利用联合定轨结果评估了基于测距数据的实时轨道产品精度，可以明显发现轨道精度随着测距数据的积累而逐步提高。     

紧凑型横向变焦系统关键器件的设计方法与功能验证

变焦系统可实现连续的光学变焦，可对不同景深的目标实现连续成像。在焦深延拓和光学检测等领域具有广泛地应用和发展潜力。本文提出了一种紧凑型可实现连续变焦功能的扁平化位相衍射元件，并设计分析和验证了横向调制相位型变焦衍射元件的功能。通过标量衍射基本理论模型，借助菲涅尔波带和多台阶相位衍射元件的设计方法，实现了横向变焦关键器件的设计仿真和实验验证。并以多波长响应的空间光调制器为基础，搭建了器件相位调制验证实验系统，通过测试证明了所设计器件的变焦能力，仿真和实验测试均可实现5倍变焦目标的有效调制。     

基于Ansys Icepak 的负载器热设计与热分析

基于热设计的基础理论与负载器的工作原理，应用Ansys Icepak仿真软件对供配电负载器工作过程中内部散热情况进行仿真，找出负载器内部温度最高部位，指导实际测试，避免实际测试的盲目性。另外，通过优化负载器散热孔设计，降低负载器温升值。     

单向电永磁作动器结构优化与动态特性分析

针对电磁作动器的使用要求，设计出一种具有能耗低、吸力大及响应快等特点的新型单向电永磁作动器。结合有限元仿真软件，利用有限元法研究作动器的结构参数如铁芯齿形结构、平面结构、无永磁结构、铁芯的倾斜角度及衔铁位移（气隙厚度）等因素对作动器电磁吸力和响应速度的影响。结果表明，电磁吸力随着作动衔铁位移的增加而大幅度减小；倾角结构的铁芯设计能使作动器性能达到最佳，且铁芯的倾斜角度为50°时，电磁吸力有最大值3071N。     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

Remote-controlled flexible pose measurement system and method for a moving target in wind tunnel

The measurement of position and attitude parameters for the isolated target from a high-speed aircraft is a great challenge in the field of wind tunnel simulation technology. This paper proposes a remote-controlled flexible pose measurement system in wind tunnel conditions for the separation of a target from an aircraft. The position and attitude parameters of a moving object are obtained by utilizing a single camera with a focal length and camera orientation that can be changed based on different measurement conditions. Using this proposed system and method, both the flexibility and efficiency of the pose measurement system can be enhanced in wind tunnel conditions to meet the measurement requirements of different objects and experiments, which is also useful for the development of an intelligent position and attitude measurement system. The position and the focal length of the camera also can be controlled remotely during measurements to enlarge both the vertical and horizontal measurement range of this system. Experiments are conducted in the laboratory to measure the position and attitude of moving objects with high flexibility and efficiency, and the measurement precision of the measurement system is also verified through experiments.     

合理运用SI技术快速收敛高速数字电路设计

随着数字电路集成度和工作频率的不断提高,信号完整性(Signal Integrity, SI)问题在产品研制过程中越来越突出。以惯导系统中的某导航计算机为例,针对故障信号回路,使用仿真软件对其SDRAM时钟信号进行信号完整性仿真,并进行优化设计。通过对比优化前和优化后的仿真与测量结果,验证了由于端接参数不匹配造成SDRAM时钟信号的非单调性畸变问题。仿真与测量结果表明,在产品研制流程中加入信号完整性仿真环节有利于设计快速收敛,提前规避风险,缩短研发周期,降低设计成本,提高电路产品的可靠性和电磁兼容性。     

异构无人系统协同作战关键技术综述

针对异构无人系统的规模、异构性强弱，对异构无人系统进行了分类，引入了异构无人系统协同作战班组的概念以及应用设想，并通过城市环境中异构无人系统协同作战问题为牵引，提出了异构无人系统协同作战面临的挑战与解决思路，在此基础之上，从异构无人系统协同控制架构、协同任务规划、智能交互、目标感知、环境感知等主要方面对异构无人系统协同作战的关键技术进行了分析，最后对异构无人系统协同作战目前的研究进展与挑战进行了总结。     

基于实验设计和生死单元技术的时变质量杆件轴向振动问题研究

为研究固体火箭轴向振动问题,将火箭体系简化为时变质量轴向振动杆件。应用生死单元技术对时变质量杆件指定区域内均布质量的损失进行模拟。应用参数化方法将杆件的弹性模量及指定区域内均布质量线密度进行参数化,应用拉丁超立方抽样方法 (LHS)及平面蒙特卡洛抽样方法 (PMC)对时变质量杆件与恒定质量杆件的轴向振动问题进行2因素50水平实验设计,批量计算了不同工况下的杆件轴向振动响应。计算结果表明:基于实验设计和生死单元技术的参数化研究方法可以高效地对时变质量结构动力响应问题进行研究。应用LHS及PMC对杆件轴向振动问题进行研究时,可以得到与应用完备实验对杆件轴向振动问题进行研究时所得结论相类似的定性结论。部分工况下,恒定质量杆件的最大轴向振动响应明显小于时变质量杆件的最大轴向振动响应。依据恒定质量体系动力响应特性对箭体进行设计时,无法保证箭体及箭载设备的安全性。